class RenameRedef
    inherit ANY
        rename   A4 as A5 alias "+" 
        redefine A1,A2,A3 
    inherit ANY
        rename   A4 as A5 alias "+"  
        redefine A1 

end